../../../thread/vcpu_local.h